((lambda (x) (+ x x)) 1)